type Reader a x = a -> x